School of Computer Science - PDFSEARCH.IO - Document Search Engine

School of Computer Science
Results: 3584

#	Item
441	Simulation-Based Approach to General Game Playing Hilmar Finnsson and Yngvi Bj¨ornsson School of Computer Science Reykjav´ık University, Iceland {hif,yngvi}@ru.is Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-17 14:29:40 Game artificial intelligence Gaming Mathematics Leisure Monte Carlo tree search General game playing Computer Go Simulation Game Description Language Artificial intelligence A* search algorithm Search algorithm
442	Making a Nymbler Nymble using VERBS (Extended Version) Ryan Henry, Kevin Henry, and Ian Goldberg Cheriton School of Computer Science University of Waterloo Waterloo, ON, Canada N2L 3G1 Add to Reading List Source URL: cacr.uwaterloo.ca Language: English - Date: 2011-07-10 02:35:14 Cryptography Public-key cryptography Secure communication Financial cryptography Cryptographic protocols Privacy-enhancing technologies Digital signature Proxy server Internet privacy Anonymity Enhanced privacy ID Pseudonymity
443	Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:08 Systems science Science Philosophy Algorithm Mathematical logic Theoretical computer science Expected value Team Mathematical optimization Robotics Robot Agent-based model
444	Invariant Patterns for Program Reasoning Andrew Ireland and Bill J. Ellis and Tommy Ingulfsen School of Mathematical & Computer Sciences Heriot-Watt University, Edinburgh, Scotland, UK . Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2004-11-10 11:54:07 Formal methods Software engineering Loop invariant Theoretical computer science Invariant
445	Preparing for Graduate School Kari Dueball, Assistant Director of Graduate Studies University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science GETTING STARTED Add to Reading List Source URL: www.math.uic.edu Language: English - Date: 2009-02-24 17:02:48 Education University and college admissions Standardized tests Graduate school Graduate Record Examinations Student financial aid in the United States Doctor of Philosophy FAFSA Massachusetts Institute of Technology
446	Chainsaw: A Metareasoner for Large Ontologies Dmitry Tsarkov and Ignazio Palmisano University of Manchester, School of Computer Science, Manchester, UK {tsarkov, palmisai}@cs.man.ac.uk Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:10 Semantic Web Logic Knowledge Knowledge representation Information science Reasoning Knowledge engineering Semantic reasoner Description logic Ontology Web Ontology Language Inference
447	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
448	December 10, 2015 Dear Colleagues, I am pleased to announce the formation of a search committee to assist in the recruitment of a dean for the Donald Bren School of Information and Computer Sciences. The committee is cha Add to Reading List Source URL: www.provost.uci.edu Language: English - Date: 2016-01-28 14:30:40 University of California Irvine Henry Samueli School of Engineering California Donald Bren School of Information and Computer Sciences Rina Dechter University of California Irvine academics Science and technology in the United States
449	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
450	Multi-target Prediction with Classifier Chains Jesse Read http://users.ics.aalto.fi/jesse/ Aalto University School of Science, Department of Information and Computer Science and Helsinki Institute for Information Technol Add to Reading List Source URL: users.ics.aalto.fi Language: English - Date: 2014-09-16 02:31:30 Classifier chains X3

UPDATE